Imply gate